fixed tiny bug in cmakelist