libusolids.a fix for MIC