This update for openscad fixes the following issues:
{ "binaries": [ { "openscad": "2019.05-lp152.2.3.1" } ] }