bin/khronos-update: add workaround for python bug 9625