tiny fix and cleanups in cmake file