fix an issue with configure (missing files required by Makefile)