fix bootstrap.mk