Checkin of new Makefile.in to include changed filename.