Releasing debian version 0.1.2-2.