changes to reflect new unstable version of FlowDroid