The NAME attribute in the MPS files does not correspond to the instance name. This should be edited before the collection is put online.

zcat ~/workspace/miplib2017/revised-submissions/Michael_Winkler/instances/supportcase10.mps.gz | sed 's/NAME gurobi-forum10/NAME supportcase10/g' | gzip > mymps.mps.gz