Fix for Issue #411: preg_replace /e is deprecated in php5.5