Fix modules.xml for 13.0