Revert "Build: Dirty hack to choose right repo for proprietary"

This reverts commit 3f0bbcf7f0947830a0598726bf68df639fc8f326.