Do you have to use a ricer for gnocchi?