Digilent Max32 not in udev rules

Hi, I tried to compile a program for my Digilent Max32 board, but I get a warning that my board’s PID and VID are not in 99-platformio-udev-rules. I can’t find anything for the Max32, or indeed any Digilent boards, in the udev rules file. I have installed it as per instructions.
No idea if it’s related, but I also get a segmentation fault when I try to upload the program to my Max32. The error message is “scons error: *** [upload] Error 139”. I haven’t been able to find any information about this error or what may have caused it.
The program is just a simple led blinker from the Arduino examples. I’m using Linux Mint 17.3 and PlatformIO is at the latest version.
Thanks, Ian

Fixed in