Manufacture of plastic pipes