PIC32mx Timer5 not working
it seems the interrupt is not being enabled (don't know why) so I found another way to make it work.

Instead of: IEC0bits.T5IE = 1; // Enable timer interrupts

I am using: IEC0 = 0x100000;