Ted's changes to commit to the COIN-OR repo