Work around gcc compiler bug.