Fix OpenBSD build (#700)