Releasing debian version 0.5.2-1.