BUGFIX: Malformed proprietary_files.txt