Screw rbx on Travis CI; it's not working :(