List of root servers in header file, might not be correct format