small fix in cmake files