debug

When we debug the executable generated by libtool, which is a shell script wrapping the binary code. Instead simplly call ``gdb -c core execubtable'', we should use

libtool gdb -c core executable