Sorry for this message - I'm just trying to test if something is wrong with the Ipopt mailing list. A message should have been posted last night, and I realized now that there has been no message received since late December...(?)