Work around a bug in gcc 4.6