debian/: 0.8.0 on trusty