Summary of changes: 5a86b21... use macro instead of hard-coded version (*) 97a3e5c... Merge branch 'master' into f14 (*) This commit already existed in another branch; no separate mail sent