Thanks for the tip, @jalessio ! About node, I did exactly that to make my build run again. I agree that the issue arrived with that change, because now the files are named "*.distrib", which seems to ...