fix CMakelists.txt