workaround bug that's breaking CI