Yet another attempt to fix RBX in Travis