``dejagnu`` is no longer a dependency. We also depend on python (to be able to run ``lit`` and other small KLEE utilities).  Also ``subversion`` is not needed.