sS cheetah_demo_recognizeWAV(File wav) {
  File dir = assertNotNull("Cheetah dir not set", cheetah_dir());
  ret backtick(f2s(newFile(dir, "cheetah_demo")) + " "
    + f2s(newFile(dir, "lib/linux/x86_64/libpv_cheetah.so")) + " "
    + f2s(newFile(dir, "lib/common/acoustic_model.pv")) + " "
    + f2s(newFile(dir, "lib/common/language_model.pv")) + " "
    + f2s(newFile(dir, "resources/license/cheetah_eval_linux_public.lic")) + f2s(wav));
}