Fix makefile.in