Fix CI

Fixes #1
Build status

Fixes #2