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