Attempt to fix the build on GCC 4.6

This works around a problem with the compiler on Ubuntu.