Summary of changes: 25d4b7b... Add patch to fix crash due to mishandling of argc. (*) c105f70... Add patch to fix crash due to mishandling of argc. (*) 8b7de8c... Update to 1.3.1. 599668e... Update to 1.3.1. (*) This commit already existed in another branch; no separate mail sent