Fix error in catalog dump because of wrong type casting on version number