Fixing build on GCC >= 4.7