Fix an @exec_main@ missing