diff -r fa4bb287ea56 -r ef2082c41cd0 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Sat Oct 17 18:36:08 2020 +0100
+++ b/src/Pure/Tools/phabricator.scala	Sun Oct 18 13:10:09 2020 +0200
@@ -22,7 +22,7 @@
   /* required packages */
 
   val packages: List[String] =
-    Build_Docker.packages ::: Linux.packages :::
+    Build_Docker.packages :::
     List(
       // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61
       "git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql",