Corrected the gcc 4.7 breakage