execve(2) on FreeBSD

The text 7d9e4ebd9ad0, as FreeBSD 11.2-RELEASE shipped it.

execute a file

execve(2) on FreeBSD now