modified to generate object file for gdb debugging