Removing mathlibre2014ja-vm.zip