Config files for the hypernia servers