Fix for compiling with gcc 4.6.3 (Debian Wheezy)