minor fixes in cmake