Debug a simple C-code application from the command line using GDB