core: support make 4.00

Make 4.00 is now out, and builds work fine with it.

Change-Id: Ifa2ab17454edfcd8b7840a7534f70576286f2864