Fix build on ubuntu 12