Appease yet more gcc 4.2