Fix Makefile for bootserver.