fix versions in the push scripts