diff -up ./bin/doctrine.php.rpm1 ./bin/doctrine.php --- ./bin/doctrine.php.rpm1 2022-09-23 11:23:08.000000000 +0200 +++ ./bin/doctrine.php 2022-09-23 11:30:54.541647836 +0200 @@ -1,3 +1,4 @@ +#!/usr/bin/env php originalAutoloaderCount + 2, spl_autoload_functions()); }