Summary of changes: e60dbac... handle cases where gcc/c++ use symlink for header directori (*) 67f86fc... remove obsoleted patch 775aace... Merge branch 'master' into f14 (*) This commit already existed in another branch; no separate mail sent