core: support make 4.00
core: support make 4.00

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

Change-Id: I49e36d651a7997a52270badb0e8badd975f64e8f

xorware/android_build,xorware/android_build,xorware/android_build,xorware/android_build,xorware/android_build