Summary of changes: 4ad83c2... fix for f15 (*) 0c09c03... - fix build (*) 872f4fc... - fix build (*) (*) This commit already existed in another branch; no separate mail sent