small fix on cmake