Hi, I have a multiserver setup with 6 Servers, using Apache or nginx. Is there a way to copy over one self compiled PHP Version (e.g. 7.1) to all the other servers? Compiling new versions on every single server is a time consuming process, two of the 6 servers are virtual machines with 1 or 2 cores, which result in dead long compiling time. All servers are set-up similar (Debian 8). Is there a way to copy over the /opt/php7.1 folder or is this restricted somehow to symbols etc? I guess it will not be possible, but maybe someone knows a time-saving solution populating new php versions.