Index: head/security/klee/Makefile
===================================================================
--- head/security/klee/Makefile
+++ head/security/klee/Makefile
@@ -14,9 +14,10 @@
 BUILD_DEPENDS=	llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \
 		gmake:devel/gmake
 # Should be a LIB_DEPEND, but hard to express in a generic manner
-RUN_DEPENDS=	llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT}
+RUN_DEPENDS=	llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \
+		${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR}
 
-USES=		cmake localbase pkgconfig python:run shebangfix
+USES=		cmake localbase pkgconfig python:3.5+,run shebangfix
 USE_GITHUB=	yes
 SHEBANG_FILES=	tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool
 USE_LDCONFIG=	yes