File toString() method for convenience