(For the record)
This change was done incorrectly; I had to back it out and re-do it
correctly.
If you think you want to make a commit to the sommerfeld_i386mp_1,
send me email *and wait for my answer* before proceeding.
- Bill