Tweak settings.xml to fix mirror issue in Travis build