Remove RBX from CI, as this no longer works on travis?