Christian Biere - 2006-10-09

Support for posix_openpt().