Use correct executable name for state update executable