use -a for tee as that's more widespread among OSes
Merge pull request #941 from vigsterkr/master

use -a for tee as that's more widespread among OSes