diff --git a/boot.php b/boot.php
index 5b7c803cf..17d4caaea 100755
--- a/boot.php
+++ b/boot.php
@@ -696,6 +696,7 @@ function startup() {
 		// Disable transparent Session ID support
 		@ini_set('session.use_trans_sid',    0);
 	}
+	@ini_set('pcre.jit',0);
 }
 
 
diff --git a/util/phplogtime b/util/phplogtime
index 5de649750..e25af274e 100755
--- a/util/phplogtime
+++ b/util/phplogtime
@@ -16,6 +16,10 @@ else {
 	$file = 'php.out';
 }
 
+if ($file === '-') {
+	$file = 'php://stdin';
+}
+
 $lines = @file($file);
 if (! $lines) {
 	exit (0);