Cleanup in proprietary-files.sh

Change-Id: I8a42abc5e590e9f221a9c37db291434a26e49500
Merge branch 'cm-10.1' of git://github.com/CyanogenMod/android_device_samsung_smdk4412-common into cm-10.1