3rd attempt at a travis-ci fix