Trying to install any CMOD modules on a fresh pike install fails with: make: don't know how to make /usr/local/include/pike/precompile.sh-stamp

Since nobody else has noticed this already, its probably only an issue when pike is installed with INSTALLARGS=--traditional. I'm not sure what the purpose of precompile.sh-stamp is, so I'm not sure what the right way of fixing this is.

Also, since the recent changes to the installer to not install so much stuff with execute permissions, /usr/local/include/pike/precompile.sh isn't executable, so CMOD modules fail from that too.

Adam