OSM downtime

OpenStreetMap has had a couple of server problems over the past few days with a debian upgrade breaking the server. This is now fixed.