Fixes #4142: /etc/hosts gets messed up by sed commands
Merge pull request #7 from peckpeck/bug_4142/etc_hosts_gets_messed_up_by_sed_commands

Fixes #4142: /etc/hosts gets messed up by sed commands