main: improve EXECINFO include handling a bit