Import DUMBFILE directly from internal header instead of duplicating it