make Makefile robust against deleted headers