> PS: BTW, Benjamin, the weird looking bug (duplicate symbol during > linking) I reported yesterday is also gone now... Great. We'll write both of these off to temporary insanity.