gcc: define [u]int*_t types