Update installation steps. Fix scan-build bug