Also free the pointer returned by readline().