svoid linux_vlcExclusive(File f) {
  backtick("killall vlc");
  vlc(f);
}