configure: install KHR/khrplatform.h when needed