mixin: introduce -D option to redefine functions from the command-line