This branch contains a very old version of MyRocks, which is not
really needed. Do not build it, so that the builds and tests will
run faster and will not cause unnecessary failures.