* env.sh: put -bin-annot there