Fix Bug 1188253 by using a hostname instead of an IP in the apt repo con...

...fig.