also rename Tophat to TopHat in easyconfigs themselves