Use our own settings.xml