RBX on travis is hard