diff --git a/doc/header.jpg b/doc/header.jpg old mode 100644 new mode 100755 index fff0bef9..dbadb3da Binary files a/doc/header.jpg and b/doc/header.jpg differ