Improvement of the debian pkg