Dummy file needed by some Kaldi scripts