// seems to work although I am not sure if it clears the list in all
// running applications
svoid linux_clearRecentlyUsedFilesList() {
  deleteFile(linux_recentlyUsedFilesFile());
}