switched to -Os optimization in order to fix mpdecision