fixed makefile bug

also added some preconditions to boardgui_hof.cpp