include wcsinst/default-settings.ini