Fix uuid4 generation to 32bits (not necessary but clearer)