A plumber told me today that flux left on the outside of copper pipes will corrode the pipe over time. Is this true?