fix typo in the cmake configration file

Change-Id: I24d7227b667684016af6a41fe24b55830676e19c