tweaks required for building on FreeBSD 10 (32-bit)