more robust read_file: prefer implicit replacement of bad input instead of failure via MalformedInputException;