fix make_module_extra for Gean v9.4