It got turned off by mistake just because I had been doing debugging,
and committed the Makefile that had other changes ...