Work around weird g++ bug