A collection of small fixes for some Ubuntu/Linux problems I encountered.