the output in the makefile was pretty hard). Tested that make still works on kagiso; no code changes at all.