42c01e92f6
GNU-based make will handle this syntax correctly; if other makes have trouble with it, we'll have to do something different.