Use the new commandline flag to allow us to call bugpoint like this: