Add a mirror in Philippines
philippines.txt, philippines.gif, philippines.eps:
  new file