Fixing Travis, attempt 2