Summary of changes: c3e136d... fix the format of the binding compiler (*) 0b1f1e1... Merge branch 'master' into f18 (*) This commit already existed in another branch; no separate mail sent