Don't bother printing the HiVersion in the __interface line (it's added by ghc-iface later on anyway).