Fix: bad name for the exec file