bin/luamin: Tweak command-line option names