Adjusting rbx in Travis config

See this comment on travis-ci/travis-ci#1641:
https://github.com/travis-ci/travis-ci/issues/1641#issuecomment-29009870