Make the code compilable with gcc 4.7 on Linux #8