Fixing the jenkins build