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