Revert "Do not remove dist/ in jenkins job."

This reverts commit 1e7cbffb283fdc5b79a856e699dd737bb26025bc.