Adding debian version 0.4.1-1 (FIXME).