Summary of changes: 9a6695e... Fix race condition, tools were built before the shared libr (*) 41fc37f... Fix race condition, tools were built before the shared libr (*) This commit already existed in another branch; no separate mail sent