[Ubuntu 16.04.6 LTS, Apache2] I have a number of php versions installed on my server, 5.6, 7.0, 7.1, 7.2, and 7.4. However, only 5.6, 7.0 and 7.1 have php-cgi binaries. My Joomla install is complaining that 7.1 is obsolete and recommends 7.2. I have already added 'ppa: ondrej/php' and 'ppa: ondrej/apache2' to my sources.list. How/where can I get php-cgi7.2 and php-cgi7.4 without building them from source?