fix the correct EXECUTABLE name