Put back GCC_VERSION_GE_4_8_0 because it is still in use

CMakeLists.txt

@@ -54,6 +54,11 @@ if (CMAKE_COMPILER_IS_GNUCC)
   endif (GCC_VERSION VERSION_GREATER 4.4.7)
 endif (CMAKE_COMPILER_IS_GNUCC)
 
+set (GCC_VERSION_GE_4_8_0 FALSE)
+if (CMAKE_COMPILER_IS_GNUCC AND ((GCC_VERSION VERSION_GREATER 4.8.0) OR (GCC_VERSION VERSION_EQUAL 4.8.0)))
+  set (GCC_VERSION_GE_4_8_0 TRUE)
+endif (CMAKE_COMPILER_IS_GNUCC AND ((GCC_VERSION VERSION_GREATER 4.8.0) OR (GCC_VERSION VERSION_EQUAL 4.8.0)))
+
 # Generate the compilation variables, if needed
 if (NOT DEFINED SKIP_UNIT_TESTS)
   message (STATUS "Setting SKIP_UNIT_TESTS to the value of 0")