Summary of changes: 7a5110f... dist-git conversion (*) 3f88070... Fixed rpath (*) a0a14a3... Merge branch 'master' into f13/master (*) This commit already existed in another branch; no separate mail sent