generator: download KHR/khrplatform.h