Fix OTP version in Travis CI config