base.h: Take integer types from <tr1/cstdint>.