Remove broken part of Makefile.bootstrap