Releasing debian version 1.2.5-2.