Jenkins build fix.

 Added missing file.