more hacks to get travis to work :(