I don’t know if it’s related but I got the same error (Segmentation fault error 139) when I tried to upload my code to my chipkit Uno32 with PlatformIO under Linux (I didn’t get that error by using it on windows).
Look here : Segmentation Fault with Pic32prog [Linux] - #9 by Byran