diff -r cdc90b01e6b8 bin/update.sh
--- a/bin/update.sh	Fri Dec 27 19:26:04 2019 +0100
+++ b/bin/update.sh	Fri Dec 27 19:29:18 2019 +0100
@@ -243,12 +243,7 @@
         }
 
         // use the JSON encoder from the Composer package
-        if (is_file('composer.phar')) {
-            include 'phar://composer.phar/src/Composer/Json/JsonFile.php';
-            $comsposer_json = \Composer\Json\JsonFile::encode($composer_data);
-        }
-        // PHP 5.4's json_encode() does the job, too
-        else if (defined('JSON_PRETTY_PRINT')) {
+        if (defined('JSON_PRETTY_PRINT')) {
             $comsposer_json = json_encode($composer_data, JSON_PRETTY_PRINT | JSON_UNESCAPED_SLASHES);
         }
         else {