use threefry4x64 as default