include tr1/random only on linux