Added debugging symbols for gdb