another fix for cmake