Bump version to 4.1.2