update CoreConfiguration.fs