One more fix in deploy.cc