Just a few more trivial Ubuntu 14.04 installation tweaks...