Fixing build with Jenkins CI