added example of ipopt segfaulting, see #1022