Adaption to changes in joern-tools.