Fix a bug on OpenBSD