benchmark:
		gmcs benchmark.cs normalswitch.cs flexswitch*.cs