stdint.h with g++ on Ubuntu

The header file stdint.h, needed for larger integer types, has at line 24:

#include

but on Ubuntu you need to change this to:

#include