Bug fix in Metis optimizer + default parameter change.

1 job for devel in 13 minutes and 43 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Deploy
passed #581548
docker run_docker_deploy

00:13:43