Minor fixes: bench.sh does --check right again and filterdriver complains about invalid filter