CMakeLists.txt modified to have the correct information about the extension