add platform-dependent settings