Fix small syntax error in patchInstaller.sh.