Add missing dependencies for KLEE in PKGBUILD.