Fix build_tools/version.sh