Renamed TempMain into XenMain