I edited `memory_region.h` and did `make check`, and looking at timestamps, confirmed that `librustrt.dylib` did not get rebuilt.