Release: fix some bugs in release script