more ugly travis hacks