Lambda-term: fix compilation under OpenBSD.

Patch taken from the ports tree and unified.
Merge pull request #1528 from mirage/master

Lambda-term: fix compilation under OpenBSD.