bug fix: buffer cache LRU replacement