Use boost::random for make_random_file to make it repeatable across platforms.