Fix bug with ubuntu ipopt on 12.04