add hosts file hack so pedant can run