0.25 for some FreeBSD9 headers