Adapted Makefile to autoconf from kind2