Executable section
unix_exec_is (cs, bs, exec) is_native ext_dll suffix_program
Compute the
filename of the real executable, with full unix path. Also return executable
library, if one exists (it happens when building bytecode executable with C
stubs).
Schema for the section. Not exported.