platform-dependent settings for cmake