fix infernal -Fmid, tweak infernal runs