see: https://www.tecmint.com/install-php-7-on-rocky-linux/