Change fileencodings setting  to let it work well for all systems.