Formatei o arquivo php.ini conforme mostrado no curso com o caminho de diretório correto, mas ao executar o comando php atualizar-leilao.php no terminal não aparece mensagem de erro, mas também não cria o arquivo cachegrind.out na pasta profiling para usar no webgrind. Estou usando a versão do PHP 7.4.12 no Ubuntu 18.04.
