Do not remove dist/ in jenkins job.