fix in binstar_push script