only use the latest version of HermiT
some scriptes for conversion