building-server.md: Minor updates to dump source links