Handle a-b as a - b, not a * (-b)
Fixed build with qt5 on mac
Fixed VM, added UI