make sure that a Makefile exists after configure