Makefile now works, however the handmade make.sh script is preferred.