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

Nothing very "exciting", I hope ;)