only call apt-get for linux distro
only call apt-get for linux distro

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