Implementations of random generators differ on different systems,
so we should not rely on them. Or just refactor the filter
to use some specific random generator from boost.