Cannot read filetype file: 'file': message
If the message "bad file number" is given, this error may have been caused by saving a file in the foreground while it is being used by a background compilation.