[PyTone-users] PATCH: changeable default config files