The link contains a test to confirm that your version has the bug. According to this test, our version does not have this bug - at least on my machine. We are using an unusual release that was made available by Jim Fougerson on the Yahoo Prime Numbers Group.