Add a makefile in case configure.sh does not work.