Summary of changes: f6cd863... fix build, do not strip .so file (*) 9e58cf6... v39 (*) 626eafb... fix merge (*) This commit already existed in another branch; no separate mail sent