changes required for the current version of soot-infoflow