Estou com um problema na execução do PHP via terminal, ao digitar php -v por exemplo, é retornado bash: ’/opt/lampp/bin/php’: Arquivo ou diretório não encontrado, mas se eu digitar /opt/lampp/bin/php -v, o comando funciona normalmente. Estou com o XAMPP(LAMPP) instalado na máquina, com o php na versão 7.3.11. Como posso resolver?