POSIX output format in df.txt

Use more scripting-friendly POSIX output format in df.txt