provision.sh: generate global config file