Add workaround for https://bugs.php.net/bug.php?id=70757 (#1490582)

Aleksander Machniak

2015-11-06 48ab1add3548beecedb60e6355e4c4dbfb1d6bc1

 bin/installto.sh

@@ -71,7 +71,7 @@

  if (!$err) {
    echo "Running update script at target...\n";
    system("cd $target_dir && bin/update.sh --version=$oldversion");
    system("cd $target_dir && php bin/update.sh --version=$oldversion");
    echo "All done.\n";
  }
}