Switch from boost types to <stdint.h>