bugfix: redirect to $null instead of null (which makes a file called
'null')