restored settings files to try to make git happy