Recentf hack for server mode