Fix for jenkins build.