v3.4.0 edit/add extensions on Linux

Vassal v3.4.1 is now up and fixes this problem! (see vassalengine.org/download.php and https://forum.vassalengine.org/t/vassal-3-4-1-released/11113/1)

Brian