Revert "Remove proprietary binaries"

This reverts commit 9097e57fdd444216d710221d1eb1d1bda751ac5f.