Fix build for gcc 4.7