update brg_* headers to those from the AES distribution