Use OTP 17.0 for CI