workaround for the locally modified setting files