Fix Ubuntu/Debian installation instructions.