Update to aok 0.8.0.