Fix make dist wrt #45