Set version to 0.5.1.2