Why this change? Did they change the name of their executable?