Bump version to 0.3.80.