Catch bad prefs.php configs (Bug #12121)