Update os_vms.jax