fix an error in post_deploy script