Don't redefine deploy_script

Fixes #11056.