Summary of changes: 9ce1080... try again to fix smp build to no more than 4 cpus (*) 666b0c5... Merge remote branch 'origin/master' into f14/master (*) This commit already existed in another branch; no separate mail sent