fix std random, include