Bump version to 3.5.12