rewriting getrandom with boost library