Load defaults.ini in update.php. Fixes #107