(get_boot_time): To obtain an 8 char file name, which is needed on mescaline, use a 2 char prefix, and call make_temp_name with second arg non-zero.