Fix the distcheck rule