g++ namespace bug (or feature) workaround