Small modifications in debian pkg