Actually, I just made a PR to fix up default.settings.php so folks can use the standard reinstall steps. Look for it in rc2 on @getpantheon