add header files used for FreeBSD