Committing debug line in Makefile.in to try to determine Jenkins's problem