Slightly changed CMakeLists.txt