Simple framework for build Microchip PIC32 applications using GCC