Fix compilation error in deploy.sh

Change-Id: I7f197150ad717aab07e1055dccf572f1dd2a309b