Unofficial 0.1.12 release fixes integration with MPS. Tested with MPS 0.7.1 build 635.