Fix hastily modified makefile