i wonder, should we remove the following symlinks: I prefer to leave them and avoid any special cases. Having them there but nonfuctional doesn't seem worse than not having them at all, and maybe some day we will have a luatex binary. I prefer not to make a special case or manual deletions. BTW, ppower4 is not a lua script. Thanks, k