Add stdint.h to main.c, re-gen automake