No execute bit for csources build.sh, fixing doc

Title says it all. Truly a minor documentation fix, but at least it is something.