Releasing debian version 0.5.1-2.