Fix some outdated links in the installation docs