update broken.mk for OTA proprties again