https://devhubby.com/thread/how-to-set-php-8-0-as-default-version-in-ubuntu