libc for TI's msp430 MCUs cross-development