Fixing 302 redirect in curl

Author: moufmouf

extensions/core/docker-install.sh

@@ -33,7 +33,7 @@ if [ -n "$PECL_EXTENSION" ]; then
       which pickle
     else
       apt-get install -y --no-install-recommends build-essential php-pear php${PHP_VERSION}-dev pkg-config
-      curl https://github.com/FriendsOfPHP/pickle/releases/latest/download/pickle.phar -o /usr/local/bin/pickle
+      curl https://github.com/FriendsOfPHP/pickle/releases/latest/download/pickle.phar -L -o /usr/local/bin/pickle
       chmod +x /usr/local/bin/pickle
     fi