update to 0.80.0