Use -g3 rather than -ggdb3 for debian

On a GNU/Linux system -g3 and -ggdb3 should produce the same result
under gcc, but clang only recognizes -g3.