fix boot/compressed makefile