Fixed compilation on <4.01
tmp travis: use related opam-rt branch