push the right version of update.php

diff --git a/utils/update.php b/utils/update.php
index b207fd6c025720d1e1a0ed261c60f488be4e7073..414fadb5afa51a68e63c3a486c77ad8f7428f876 100755 (executable)
--- a/utils/update.php
+++ b/utils/update.php
@@ -99,9 +99,9 @@ if ($aResult['init-updates']) {
         fail('pyosmium-get-changes not found or not usable');
     }
     if (!$aResult['no-update-functions']) {
-        $sSetup = CONST_InstallPath.'/utils/setup.php';
+        $sSetup ='@PHP_BIN@ '. CONST_InstallPath.'/utils/setup.php';
         $iRet = -1;
-        passthru(@PHP_BIN@.' --create-functions --enable-diff-updates', $iRet);
+        passthru($sSetup.' --create-functions --enable-diff-updates', $iRet);
         if ($iRet != 0) {
             fail('Error running setup script');
         }