execve filename: document and export via auxiliary vector