work around gcc bug #61738 <sigh>