Bump version to 5.0.1.2