fix cmake instructions