sdk;ide: Fix for compiler libraries not working