Slightly faster Travis builds

Especially when the Ubuntu mirror is slow again.