README for leakcheck