fixed minor issue with XENO_KVER detection