Fix name of master settings file in OS X
[xboard.git] / gtk / .dirstamp