Update WHY_DIFFERENT_EXECUTABLES.txt