fix execinfo library problem