This is resolved. Mark Jaquith pointed me at wp-medic, and that showed some faulty hashes. Files replaced and all is good. The upgrade not completing could be a future problem though ? P.