switch from boost int types to <cinttypes>