Thanks very much for that. Indeed that solves the problem for me here!
Chris, can you confirm this is working for you now?
Changes have been committed to CVS and the new packages are available from the Australian and UK mirrors.
Once again, all kudos to Dave for the fix.
Ernie