replace deprecated util.print with hand-made one.
.fix for option-like arguments.