Create our own SourceManager with UserFilesAreVolatile set to true.

Also, try 4 times to open the main file.