Failed Loading Xdebug on PHP 7.1

[medmek]

Hi, when chosing PHP version 7.1 in config.yaml, I get a php error : Failed loading /usr/lib/xdebug71/modules/xdebug.so: /usr/lib/xdebug71/modules/xdebug.so: cannot open shared object file: No such file or directory [Unknown source file] this path being set in [etc\guest\php\7.1\cli\conf.d\20-xdebug.ini] zend_extension=/usr/lib/xdebug71/modules/xdebug.so

while the way xdebug was installed in my usr/lib is

/usr/lib/xdebug/modules/xdebug.so and also found (but don't know in what case those are used)

/usr/lib/php/20151012/xdebug.so
/usr/lib/php/20131226/xdebug.so
/usr/lib/php/20121212/xdebug.so

A lot of steps in init_project.sh seem to be affected. Thank you

[Vinai]

Same happens for PHP 7.2

vagrant@magento2:~$ php --version
Failed loading /usr/lib/xdebug72/modules/xdebug.so:  /usr/lib/xdebug72/modules/xdebug.so: cannot open shared object file: No such file or directory
PHP 7.2.16-1+ubuntu14.04.1+deb.sury.org+1 (cli) (built: Mar  7 2019 20:42:24) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2018 Zend Technologies
    with Zend OPcache v7.2.16-1+ubuntu14.04.1+deb.sury.org+1, Copyright (c) 1999-2018, by Zend Technologies

[Vinai]

The problem happens at this stage of the buld in scripts/provision/upgrade_environment_recurring.sh:

git clone git://github.com/xdebug/xdebug.git xdebug72
fatal: could not create work tree dir 'xdebug72'.: Permission denied

The issue is that in the current corporate network port 22 is blocked. If I use the http coordinate it works:

git clone https://github.com/xdebug/xdebug.git xdebug72

The same issue occurred while following the installation instructions. Maybe it would make sense to use the http github repo URLs instead?