SQUASHME: improve Makefile, document it