updated df to POSIX output formatting