Charles Wilson wrote: > As no one was actually able to install this file, is it OK to replace it > on sourceware (perhaps deleting the .md5sum file) without bumping the > version number? Yes, I considered doing that myself. Sounds like a good idea. Brian