Summary of changes: cf37003... Update to 0.5.3; rest of previous format string patch appli (*) 5861033... (forgotten from previous commit) (*) (*) This commit already existed in another branch; no separate mail sent