fix rbx version specification for Travis