Changed mirror to Simula's server.