Fix compilation

Fixes compilation with gcc 4.7 on Debian squeeze.