Ensure new default.ini is used

fine, would you prefer a forced push or a new commit to confirm the change before a squash?