download-from-binary-cache.pl: Fix flushing of stderr