Revert "this cmake variable does not seem to be used any more"

This reverts commit 30f67959a6c06d3c24477db896ff5728b3026fb1.