#1012: use RTLD_GLOBAL flag when loading ipopt

This is just a workaround, I'm not sure if a better solution exists.