last-moment fix for FreeBSD from Pietro Cerutti