some more cmake fiddling