Update installation-developers.md