GANESHA: make the ganesha script executable by default