Fix lots of problems in debian installation guide