fixed a little cmake thing