fix compile failure on Debian GNU/Linux 7.1/i386 with gcc-4.7.2.