Simplify Debian/Ubuntu instructions a bit.