Fix up the typechecking of interface files during --make