Summary of changes: 882b223... Bring back the cflags patch as actually this is not fixed (*) 8c54030... Bring back the cflags patch as actually this is not fixed (*) (*) This commit already existed in another branch; no separate mail sent