fix a bug in CMakelists