Releasing debian version 0.8.0-2.