Releasing debian version 0.1.0-4.