diff --git a/lang/io/files/extra-patch-CMakeLists.txt b/lang/io/files/extra-patch-CMakeLists.txt
new file mode 100644
index 000000000000..82355e41e7ca
--- /dev/null
+++ b/lang/io/files/extra-patch-CMakeLists.txt
@@ -0,0 +1,10 @@
+--- CMakeLists.txt.orig	2019-04-05 06:24:16 UTC
++++ CMakeLists.txt
+@@ -39,7 +39,6 @@ IF(CMAKE_COMPILER_IS_GNUCC OR (CMAKE_C_C
+ 	SET(CMAKE_BUILD_TYPE_DebugFast)
+ 	SET(CMAKE_CXX_FLAGS_DEBUGFAST "-g -O0")
+ 	SET(CMAKE_C_FLAGS_DEBUGFAST "-g -O0")
+-	SET(CMAKE_C_FLAGS "-msse2")
+ 	if(NOT CMAKE_BUILD_TYPE)
+ 	        SET(CMAKE_BUILD_TYPE "DebugFast")
+ 	endif(NOT CMAKE_BUILD_TYPE)