Fix failing Jenkins build