fix for linux uintT_t types