fix build break on ubuntu 13.10