Work around a compiler bug that can happen in the configure script.