Patch up FreeBSD-10 support