produce_from_file() checks now if the source file exists and if it is empty