Correct repo name for proprietary

Signed-off-by: Randy DuCharme <radio.ad5gb@gmail.com>