remove "executable" attribute from source files

more or less cosmetic...