Symbol: mktfile