VM-mathlibre-2019-for-dist.zip : VMware virtual machine (use 3G memory). VM-small-mathlibre-2019-for-dist-v2.zip : VMware virtual machine (use 1.5G memory).