fix bug in cmake