missing renameTyVars in makeGhcSpec0?