Tools to update an amaGama server