Minor fix on Linux deployment script.