Fix build for new HERMIT