solved the "file can not be deleted problem" in BufferMgr:abort()