the usual fiddling to get travis working