Pipe the output	from the neutrino compiler into	ctrino.