Unix install fixes

Hi, there were a couple of scripts that did not carry the executable bit, necessary for smooth command line integration, and there was one header that had to be installed for later.