* Makefile.in: Revert last change (Bug#5191).