Make_live_disc: minor change re handling of arguments