Change rbx to explicit version number in travis.yml