+++ bugfix in cmake generator