Thanks, but maybe we should simply run a script over all the repos to chmod -x any .cxx .hxx .mk etc files? And then add a git hook to remove x bits in the future if they are accidentally introduced to source files or makefiles. --tml