fixes #55
Fix CI