diff --git a/src/Storage/Writable/Maildir.php b/src/Storage/Writable/Maildir.php
index 782943c3..41ce47c7 100644
--- a/src/Storage/Writable/Maildir.php
+++ b/src/Storage/Writable/Maildir.php
@@ -347,8 +347,8 @@ public function renameFolder($oldName, $newName)
     protected function _createUniqueId()
     {
         $id = '';
-        $id .= function_exists('microtime') ? microtime(true) : (time() . ' ' . rand(0, 100000));
-        $id .= '.' . (function_exists('posix_getpid') ? posix_getpid() : rand(50, 65535));
+        $id .= microtime(true);
+        $id .= '.' . getmypid();
         $id .= '.' . php_uname('n');
 
         return $id;
diff --git a/tools/phptools b/tools/phptools
deleted file mode 160000
index d232cb3e..00000000
--- a/tools/phptools
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit d232cb3e4f1448daccefc74882da1862cda7656f