Makefile.in: delete a duplicated line