A number of MINOS2 fixes

1 job for master in 9 minutes and 42 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #1239
build-distcheck

00:09:42