Fix #71: BufferCache race