fixes #942
bugfix: unreported 'compiles' bug
No execute bit for c-sources build.sh, fixing doc
Merge pull request #974 from ninjin/devel

No execute bit for csources build.sh, fixing doc