[dist] Don't redirect to /dev/null

We surely want it to tell us if these commands don't succeed (because
e.g. your tar file has the wrong name).