diff -r 2251fb41dbc7 -r 1e110b03ae96 web/lib/Zend/Config/Json.php
--- a/web/lib/Zend/Config/Json.php	Sun Apr 21 10:07:03 2013 +0200
+++ b/web/lib/Zend/Config/Json.php	Sun Apr 21 21:54:24 2013 +0200
@@ -16,7 +16,7 @@
  * @package   Zend_Config
  * @copyright Copyright (c) 2005-2009 Zend Technologies USA Inc. (http://www.zend.com)
  * @license   http://framework.zend.com/license/new-bsd     New BSD License
- * @version   $Id: Json.php 23294 2010-11-05 00:27:34Z ramon $
+ * @version   $Id: Json.php 24810 2012-05-17 21:20:12Z rob $
  */
 
 /**
@@ -220,7 +220,9 @@
     {
         foreach ($this->_getConstants() as $constant) {
             if (strstr($value, $constant)) {
-                $value = str_replace($constant, constant($constant), $value);
+                // handle backslashes that may represent windows path names for instance
+                $replacement = str_replace('\\', '\\\\', constant($constant));
+                $value = str_replace($constant, $replacement, $value);
             }
         }
         return $value;