travis: try again... #4 (argh, ubuntu/debian just plain sucks)