delete platform-dependent settings