Issue #16: support file deleted in cache