Fix mkfile for Linux