Minor compilation fixes for latest PIC32 compiler.