Update the Debian/Ubuntu installation section