exec rather than system, plays better with unix signals and pipes