Belt and braces, add Module-CoreList version checks in porting too