Minor cmake adjustment