fix build on ubuntu 12