Revert "added -bin-annot for merlin"

This reverts commit 8520bd1a60c6a39ea7c1f017c667d14526cf5301.