Re-added mirrors.ini as it was apparently not useless ;)