Makefile is generated automatically by configure.sh