accommodate the new PageReplacementStrategy format