Add RBX back into travis mix.