Simple C# app for switching PHP versions