Ubuntu 13.10 config tweaks