Added a header for compilation on ubuntu 12.04