Use POSIX output format for disk usage
Merge pull request #249 from domibarton/master

POSIX output format in df.txt

This fixes #248 .