Attempt to fix Jenkins build