main.py: fix the incorrect verobj bug
main.py: flush after print patchset name.