fix compilation on ubuntu 10.04