fixes test_module_manager compilation on jenkins