Fix a bug for make dist