BUGFIX: Malformed proprietary-files.txt