Removing defunct setting from ini file