Log Message:
Adjust makefile to not redirect a failing command's output to a
private log file, where it can only be seen with access to the build
machine.

(The command is failing in Joerg's build)