Fix to build with gcc 4.7