Adjustments for Ubuntu 12.10 defaults