remove platform dependent settings

we inherit from the global configuration, and override all keys but the
ones that are platform dependent, and that contain paths