Summary of changes: 13bd914... Don't strip the binary too early (bug #718456). (*) 77fe36e... Renumbered patches. (*) (*) This commit already existed in another branch; no separate mail sent