Increase version number to 5.2