Fix up Travis setup.