Fix buildbot due to what we think is a bug in g++-4.6