Reinstate handling of old warning format.
Merge pull request #412 from cgay/warnings

Reinstate handling of old warning format.