Fix compilation on Debian 7 i686 due to 3 missing boost::uint64_t  casts in State.cc