****************************************************
Read upgrade/UPGRADE for instructions for upgrading
from version 0.70 to 0.71.
****************************************************