add override_hostname options for debian 7.0