test/*.mps.gz
test/*.out.gz
