chiark / gitweb /
makebuildserver: use original names for downloaded SDK components