fix savannah->github push script