make.sh is nicer than Makefiles