python3 version.py
mv PikaVersion.h package/pikascript/pikascript-core/
sh push-core.sh