fix load_definitions