Add some comments to explain the magic, use $(if), which will
be needed for other places anyway.

That means we up the make requirements to 3.78, which is a couple of
years old, so basically anybody should have it already.