Let's see whether Travis CI has the latest OTP