Made new options exception types implement their destructors to appease g++ 4.6.