try to fix Jenkins build