Fix compilation issue with Ubuntu Ipopt package