If possible, I would upgrade to version 5.8.x -- that's the current version, and one that most folk would assume you are using (unless you say otherwise). The most recent release is here and many other places around and about.

Will do.

I've just been procrastinating, because I have been thinking about installing Gentoo (all the cool kids are using it, apparently).