Fix rbx-19mode. Travis CI doesn't support it any more.