Proprietary vendor files for Samsung Galaxy S4