test/ban: set -x for jenkins