tiny change to troubleshoot ktest branch on Jenkins