pure use of DEFS variable in src/Makefile.in