file.txt is modifief after first push...