MSPDS v3.13.000.001 open source package issues

I'm building the MSP debug stack from source and ran into some issues with the current version (v3.13.000.001, released on 14th May).

1. Compiler error in deviceinfo.h (ArmFlashMemoryAccess constructor has an extra parameter "writeProt")
   error C2661: 'TI::DLL430::ArmFlashMemoryAccess::ArmFlashMemoryAccess': no overloaded function takes 10 arguments (compiling source file src\TI\DLL430\DeviceDb\exportxml.cpp)
2. Compiler error in UpdateManagerFet::numStepsFpgaFirmware()
   error C2065: 'MSP_FetFpgaHalImage_sections': undeclared identifier
3. With the resulting DLL, connecting to device fails because the device DB has not been loaded. The prebuilt binaries automatically load the device DB during initialization, but the open source version doesn't do the same.

I haven't found any reference to the first error on the forum, but 2 and 3 are covered in these threads:

• https://e2e.ti.com/support/microcontrollers/msp430/f/166/p/686273/2542605#2542605
• https://e2e.ti.com/support/microcontrollers/msp430/f/166/p/641909/2374583#2374583

I've worked around these locally, but it would be good to get them fixed in the next source release. It's hard enough chasing down all the dependencies needed to build the DLL without having to resolve errors from the source code itself!