Releasing debian version 0.5.12-3.