Built mps from commit e27cc52 on branch master