clean up debian instructions