Fixing a linux bug in deploy script.