Attempt again to fix travis-ci