main.c: deleted include execinfo if no backtrace needed