Update threefry4x64.hpp