add option to quell dune(-istl) warnings