Build: Dirty hack to choose right repo for proprietary