Releasing debian version 0.1.2-3.