fix cmake compilation