Wow ... shall we report this upstream? I would lean to rename the binary because lua is also quite popular...