This #include may be required for exit().