execve(2) on FreeBSD

The text 20bdbfc78cf6, as FreeBSD 12.2-RELEASE shipped it.

execute a file

execve(2) on FreeBSD now