Keep mm9 as default until mm10 ready from S3 buckets or Galaxy repos