> So, if we are sure that the lua binary executing luarocks is always the same as the binary running the installed scripts, I'm all for that change ...

Not sure that is the case, especially on Windows.