TikZ output redirected to a file