Releasing debian version 0.5.0-2.