BUGFIX: More errors in proprietary-files.txt