apply the patch for using -bin-annot