Ensure that on linux, hdf5 comes with dev headers.