Adjust tests for sudo mode to not fail on Ubuntu 16.04.Adjust tests for sudo mode to not fail on Ubuntu 16.04.
Adjust tests for sudo mode to not fail on Ubuntu 16.04.Adjust tests for
sudo mode to not fail on Ubuntu 16.04.

dbeyer/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,martin-neuhaeusser/benchexec,sosy-lab/benchexec,dbeyer/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec,martin-neuhaeusser/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,IljaZakharov/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,dbeyer/benchexec