Work around a g++ 4.8 compiler crash.