hopefully fix travis bugs, now that I figured out what the problem was (I think)