commandline: use C automatic stringification
commandline: whitespace