Fix bug in cmake file