@glenn jackman forneceu a pista relevante. Acontece que em algum momento do meu antigo sistema 'dtc' havia sido copiado para '/ usr / bin'. No meu antigo sistema, type -a dtc
gerou dtc is /usr/bin/dtc
enquanto no meu novo sistema ele rendeu bash: type: dtc: not found
.
Tudo isso é parte de um sistema de construção incrivelmente complexo com todos os tipos de etapas de configuração e que se transformou várias vezes. Apesar de seguir um conjunto de instruções de trabalho, devo ter pulado um passo. Eu não me ocorreu tentar me 'digitar' porque obviamente isso não poderia ser o problema; -)
Obrigado a todos que comentaram !!!