Make it work on Linux with gcc 4.7.3