Since our make output-view currently doesn't support any other languages than english, I think we should by default change the environment of the make command so it uses english text. Else people will just be wondering why it doesn't work, like I did. What do you think? Greetings, David