Tweaking the debian package