"//" converted to "\\"