fixed namespace issue in file TestbedMain