Temporary fix

CI is failing because of bug #30. This patch works around the problem
so the CI passes again while the bug is fixed.