configure: only install khrplatform.h if needed