Some shell printfs are bad; work around that.