make seems to get confused by the full path to HDF5.h, so give it the
phony target instead.