Fix travis RBX config