Fix deploy script (issue #3683)