Fix cmake generation