Fix build with GCC-4.7/4.8