Let's just commit the #undef so that seawasp is green and back to being ready to tell us if something else breaks.+1. I was afraid that working around this would be impossibly painful ... but if it just takes one judiciously placed #undef, let's do that and not argue about it.Done.
Seawasp is back to green. -- Fabien.
