bin/khronos-update: having a folder in include/ is not a requirement