Oops .. I found the culprit. I messed with /bin/sh a couple of days ago and apparently that was causing the problem. I (finally) successfully installed ipopt. Thank you very much for your help, Stefan.