When and if WUSTL upgrade to 1.8d -- as they have been told is the only
fix for the problem -- your troubles will be over.

Nathan