Fixing up debian instructions