Fix build on GCC4.7, Linux Mint.