file encoding and tabs