#include file fix for ubuntu 13/gcc4.7