Cleanup in proprietary-files.sh

Change-Id: I8a42abc5e590e9f221a9c37db291434a26e49500