Fix Travis RBX issues