added an include file to pass a build on Ubuntu 13.04.