digital_pin_to_timer_PGM needs to be defined consistently in the header as in its declaration. There was a miss-match where the header had uint16_t, and the declaration was uint8_t. It has all been corrected to be uint16_t.
Also, in hardware\pic32\libraries\SD\utility\Sd2PinMap.h; we need to add the WF32 SD pin mapping. That got backed out somewhere, somehow.
Keith Vogel's change for issue #374 applied.
Fixed with Keith's changes.