replaced c11-rnd with stdlib rnd, since this works with linux-nvcc