Skip broken CI tests (see issue #10)