Relbench tweaks, for ignoring warnings.