texas_vm bug fixes