Minor fix on linuxdeploy.sh