Teamcity now uses MPS-3.0-RC2-129.280