Fix some Linuxisms.

Use ${MAKE}, not make, inside Makefiles (don't assume make = GNU make).

Replace nonstandard rmdir option that doesn't work on, e.g., BSD.
Don't assume bash is at /bin/bash (not the case on, e.g., BSD).