Summary of changes: 85ced78... fixed unpackaged files (*) 97563d1... Fix the gcc-4.7 build failure (*) 709b432... typo fixed (*) 0c54352... Merge branch 'master' into f17 (*) This commit already existed in another branch; no separate mail sent