make it compatible with the newest joern-tools