removing random.f95