We probably need to be more sophisticated, because it is possible to not set $hdf_prefix if one is just using the system defaults.