Summary of changes: 17f248f... Fix FTBFS. Thanks to Johannes Lips for the patch (#715838) (*) 646dcf2... Fix gcc patch (*) (*) This commit already existed in another branch; no separate mail sent