Butt-welding machines