autoconf : auto-generated conf file with a script './autoconf.sh' called by the Makefile