Travis: set explicit rbx version, because rbx alone doesn't work.