This bug (bug 8894 in bugzilla) has now been fixed so the next update will not suffer from this problem.

Thanks to everyone involved in tracking it down.

Gerry