Change use of non-portable "int" to "boost::int32_t".