Use a different size_overflow header for external modules