Fix executableness of files (yet again...)

- AAAARG the cs department linux is annoying