mrb: add a missing file to file list