Adding debian version 0.5.7-1.