Is this file needed for install? It gets installed on linux using "make install" but with the wrong permissions for an executable script. Looking through the file it seems to be something needed for building... Richard