Remove the useless part in the distribution script