IS_HDF5 is file an HDF5 file?