Fix an error in new executables