fix for DroidForce to work with the newest FlowDroid builds