fix for strawberry 5.20