Issue #113: deploy script was updated