make random_fcntl_setfl_flags use set_rand_bitmask