load_*mps() was declared to have only one argument.