chore: fix Jenkins build