Gas cutting machines