(cmake) Fix mistakes in 6dfb370a94f8910