Only workaround Ipopt issues on Debian