diff -up ./build/gen_stub.php.old ./build/gen_stub.php
--- ./build/gen_stub.php.old	2020-06-24 15:29:13.503969177 +0200
+++ ./build/gen_stub.php	2020-06-24 15:29:17.627958935 +0200
@@ -1055,6 +1055,10 @@ function installPhpParser(string $versio
 }
 
 function initPhpParser() {
+    if (file_exists('/usr/share/php/PhpParser4/autoload.php')) {
+        require_once '/usr/share/php/PhpParser4/autoload.php';
+        return;
+    }
     $version = "4.3.0";
     $phpParserDir = __DIR__ . "/PHP-Parser-$version";
     if (!is_dir($phpParserDir)) {