Make it compile on Debian/GCC 4.7