travis: tools 12 -> 4