svoid vlc(File f) {
  if (isOnPATH("vlc"))
    nohup("vlc " + platformQuote(f));
  else
    fail("Can't find VLC");
}