Fix CMakelists.txt