Merge pull request #611 from d7415/master

Fix for a race condition in process_file().