do not use DEBUG macro, but use verbose command line argument
update help output