[common.print] fixed stupid printing of std::vector