HDF5 compression: bugfix

Bug prevented compression extension from being stripped from uncompressed
filename.