Fix build on Ubuntu 13.10/GCC.