make_live_disc printf formatting