patching file Makefile.in