Renamed EXTRA_CFLAGS to DEFS, and alignment fix
Removed declarations which were already in defaults.h
Changed debug recipe to more logical one