Switch from boost int types to <stdint.h>