Fix push_build.sh