Remove +x permissions from some files

so they don't unnecessarily show in funny colors in bash.
The command was: chmod a-x cflags* src/*