minilibc: define SIZE_MAX in stdint.h