modified provenance to cope with file name extensions for huygens