There was one script which escaped the SEALS update that was just
posted, and there were some superfluous object files left in one
of the module directories.
The archive is now corrected as of 8.45 pm EST; if you have already
downloaded it, you should fetch the new one.
Sorry for any inconvenience.