Update proprietary/proprietary.mk~