another godawful travis fix