Partially reverted commit 1aa73cc05a81f592c376a9f7c0ff2543079b22ca to prevent bugpoint from using wrong opt program