Use correct version of rbx in travis