sh.py: change version number