* ./src/misc/messages.c: ouch. when the message queue was full, we were

    using our va_list twice, which caused crashes on architectures where
    va_list is a pointer; we now use va_copy whenever possible.