fix an issue with configure (missing Makefile.in)