pic32-libs for use with Newlib