Fixing Travis, attempt 3