HOWTO: Update to 0.8.5, apt-get deps, other minor tweaks