Bump version to 0.5.12