Fix more apple issues?
Fix more apple issues?

AMICI-developer/AMICI,FFroehlich/AMICI,AMICI-developer/AMICI,FFroehlich/AMICI,AMICI-developer/AMICI,FFroehlich/AMICI,FFroehlich/AMICI,AMICI-developer/AMICI