travis fix (I hope)