install.sh exits with no error when the extension is already installed