Eu encontrei o culpado: na verdade eu estava executando sudo make install
e não make install
, então o PATH temporário foi ignorado por causa da troca de usuário. A solução foi executar sudo su
e, em seguida, atualizar o PATH e executar novamente o make install