Hi Linus,

	This is needed to build current BK tree on IA32.

- Arnaldo