--- old/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.hotspot/src/org/graalvm/compiler/hotspot/PrintStreamOptionKey.java	2017-07-07 09:30:17.000000000 -0700
+++ new/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.hotspot/src/org/graalvm/compiler/hotspot/PrintStreamOptionKey.java	2017-07-07 09:30:17.000000000 -0700
@@ -65,6 +65,9 @@
 
             }
         }
+        if (name.contains("%t")) {
+            name = name.replaceAll("%t", String.valueOf(System.currentTimeMillis()));
+        }
         return name;
     }