fixed issue #22 -- Build error with mirror in settings.xml