Revert "klee: added missing include file"

This reverts commit 1a95b8251916c2331ec74a544ce77653ef76285b.