Trying to fix Jenkins build error.

r:robb@