Aha! I submit. Ignore my last comment.

I guess we could argue (till the cows walk home) about whether the `sudo` should be outside the makefile :)