Releasing debian version 0.2.5-1.