Revert the deletion of the settings.ini

This partially reverts commit 03de447bd1762c3a90f02ba6d253b9364886238c.