rbx-head doesn't run properly on Travis CI.