File modification time cache