better (printf) formatting for file list